The State of SPIN
نویسندگان
چکیده
The number of installations of the Spin model checking tool is steadily increasing. There are well over two thousand installations today, divided roughly evenly over academic and industrial sites. The tool itself also continues to evolve; it has more than doubled in size, and hopefully at least equally so in functionality, since it was rst distributed in early 1991. The tool runs on most standard workstations, and starting with version 2.8 also on standard PCs. In this overview, we summarize the design principles of the tool, and review its current state.
منابع مشابه
Spin and Isospin Asymmetry, Equation of State and Neutron Stars
In the present work, we have obtained the equation of state for neutron star matter considering the in uence of the ferromagnetic and antiferromagnetic spin state. We have also investigated the structure of neutron stars. According to our results, the spin asymmetry stiens the equation of state and leads to high mass for the neutron star.
متن کاملThe Relativistic Effects on the Violation of the Bell's Inequality for Three Qubit W State
In this paper we are going to calculate the correlation function and Bell'sinequality for three qubit W state under the Lorentz transformations. This survey is basedon the introduction of two different expressions of spin observable were presented byLee-Young and Kim-Son.
متن کاملحالت RVB بهینه در شبکه مربعی: حالت پایه و برانگیخته
We consider RVB state as a variational estimate for the ground state of Heisenberg antiferromagnet in square lattice. We present numerical calculation of energy, spin-spin correlation function and spin excitation spectrum. We show, that the quantum flactuations reduce of magnetization respect to Neel order. Our results are in good agreement with other methods such as spin-wave calculation a...
متن کاملThermal effect and role of entanglement and coherence on excitation transfer in a spin chain
We analyze the role of bath temperature, coherence and entanglement on excitation transfer in a spin chain induced by the environment. In Markovian regime, we show that coherence and entanglement are very sensitive to bath temperature and vanish in time in contrary to the case of having zero-temperature bath. That is while, finding the last qubit of the chain in excited state increases by incre...
متن کاملAn Entanglement Study of Superposition of Qutrit Spin-Coherent States
Considering generalized concurrence as the criterion of entanglement, we study entanglement properties of superposition of two qutrit coherent states, as a function of their amplitudes. These states may attain maximum entanglement or no entanglement at all, depending on the choice of the parameters involved. The states revealing maximum entanglement also display the maximum violations of the Be...
متن کاملاثرات ناخالصیهای مغناطیسی بر عبور الکترون از یک نانو حلقه کوانتومی
In this paper we study the Aharonov-Bohm oscillations of transmission coefficient for an electron passing through a quantum nanoring with two identical magnetic impurities using quantum waveguide theory. It is shown that the Aharonov-Bohm oscillations are independent of the coupling constant between the electron and magnetic impurities for the singlet spin state of impurities, while for the o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996